<?php
  $value = "value-from-empty.inc";
?>